<?php 
echo "Se ha tramitado el proceso de compra";
unset($_SESSION['carrito']);

?>